This book constitutes the refereed proceedings of the First International Conference on Provable Security, ProvSec 2007, ...